Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions
نویسندگان
چکیده
منابع مشابه
Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions
This paper presents a design flow for timed asynchronous circuits. It introduces lazy transitions systems as a new computational model to represent the timing information required for synthesis. The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. Lazy transition systems can be effectively used to model the behavior of asynchron...
متن کاملLazy transition systems and asynchronous circuitsynthesis with relative timing
| This paper presents a design ow for timed asynchronous circuits. It introduces lazy transitions systems as a new computational model to represent the timing information required for synthesis. The notion of laziness explicitly distinguishes between the enabling and the ring of an event in a transition system. Lazy transition systems can be eeectively used to model the behavior of asynchronous...
متن کاملRelative timing [asynchronous design]
Relative timing (RT) is introduced as a method for asynchronous design. Timing requirements of a circuit are made explicit using relative timing. Timing can be directly added, removed, and optimized using this style. RT synthesis and verification are demonstrated on three example circuits, facilitating transformations from speed-independent circuits to burst-mode and pulse-mode circuits. Relati...
متن کاملAsynchronous circuit synthesis with Boolean satisfiability
Asynchronous circuits are widely used in many real time applications such as digital communication and computer systems. The design of complex asynchronous circuits is a diicult and error-prone task. An adequate synthesis method will signiicantly simplify the design and reduce errors. In this paper, we present a general and eecient partitioning approach to the synthesis of asynchronous circuits...
متن کاملComparing Transition Systems with Independenceand Asynchronous Transition
Transition systems with independence and asynchronous transition systems are noninterleaving models for concurrency arising from the same simple idea of decorating transitions with events. They diier for the choice of a derived versus a primitive notion of event which induces considerable diierences and makes the two models suitable for diierent purposes. This opens the problem of investigating...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
سال: 2002
ISSN: 0278-0070
DOI: 10.1109/43.980253